algebra of two state logic

二值逻辑代数